Recommending Bug Assignment Approaches for Individual Bug Reports: An Empirical Investigation

Multiple approaches have been proposed to automatically recommend potential developers who can address bug reports. These approaches are typically designed to work for any bug report submitted to any software project. However, we conjecture that these approaches may not work equally well for all the reports in a project. We conducted an empirical study to validate this conjecture, using three bug assignment approaches applied on 2,249 bug reports from two open source systems. We found empirical evidence that validates our conjecture, which led us to explore the idea of identifying and applying the best-performing approach for each bug report to obtain more accurate developer recommendations. We conducted an additional study to assess the feasibility of this idea using machine learning. While we found a wide margin of accuracy improvement for this approach, it is far from achieving the maximum possible improvement and performs comparably to baseline approaches. We discuss potential reasons for these results and conjecture that the assignment approaches may not capture important information about the bug assignment process that developers perform in practice. The results warrant future research in understanding how developers assign bug reports and improving automated bug report assignmen

On the Relationship between Code Verifiability and Understandability

Proponents of software verification have argued that simpler code is easier to verify: that is, that verification tools issue fewer false positives and require less human intervention when analyzing simpler code. We empirically validate this assumption by comparing the number of warnings produced by four state-of-the-art verification tools on 211 snippets of Java code with 20 metrics of code comprehensibility from human subjects in six prior studies. Our experiments, based on a statistical (meta-)analysis, show that, in aggregate, there is a small correlation (r = 0.23) between understandability and verifiability. The results support the claim that easy-to-verify code is often easier to understand than code that requires more effort to verify. Our work has implications for the users and designers of verification tools and for future attempts to automatically measure code comprehensibility: verification tools may have ancillary benefits to understandability, and measuring understandability may require reasoning about semantic, not just syntactic, code properties.Comment: to appear at Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE'23

The brooding process in the Chilean oyster, Ostrea chilensis (Philippi, 1845)

Most bivalve molluscs are broadcast spawners, but several have evolved mechanisms for brooding the embryos and larvae. In the research described in this thesis, the Chilean oyster Ostrea chilensis is used as a model to allow us to understand more fully the efficiency of the brooding process and the role of this mode of reproduction as an adaptation to an estuarine environment. The reproductive biology of the adults, the brooding mechanism, and the physiology, behaviour, energetics and morphology of the brooded larvae were studied in oysters from the Quempillen estuary in southern Chile. -- In the Chilean oyster, reproduction occurs once per year, during spring and early summer. During the three years of the study, approximately 40% of the potential females in the population exhibited brooding behaviour. The brooding period was approximately seven to eight weeks, during which larvae lived in the infrabranchial chamber of the female, and grew until they reached approximately 500 jam shell length, after which they were released. Brooded embryos and larvae utilize protein and lipid as the principal energy sources. -- In vivo endoscopic observations showed that larvae were concentrated primarily in the mouth-palps region of the female, where they were constantly manipulated and kept in motion by the palps. However, larvae were also seen distributed along the gills, but with no physical connection to the gills. Larvae showed a clear circulation pattern in the mantle cavity, being transported from the palp region to the posterior region of the gills by the water current produced by the female, then returning to the oral region via the ventral and dorsal ciliated food grooves of the female. -- Larvae were observed to ingest exogenous particles, establishing that they are not obligatory lecithotrophs. Food ingestion began when larvae developed the ciliated velum at approximately 290-300 urn shell length. Observations with the scanning electron microscope revealed that the distribution of ciliary bands on the velum of the Chilean oyster larva is adapted to the unusual environmental conditions associated with brooding. The absence of cilia during all the embryonic stages and the early stages of the veliger, the absence of the apical tuft, and the apparent absence of the postoral cilia (POC) characteristic of pelagic veligers, demonstrate this adaptation. -- The brooding process had a considerable impact on some aspects of the physiology of the female, especially the filtration rate (FR), which greatly decreased in brooding oysters. Brooding females partially compensated by increasing absorption efficiency (AE) in comparison to non brooders. The scope for growth was much lower in brooding oysters than in non brooders, largely as a result of the reduced FR of the brooders. After larvae were liberated, the FR of the female increased, reaching values close to those that could be considered 'normal FR' in Chilean oysters. -- The brooding mechanism provides in the mantle cavity a protective environment in which larvae can develop until they reach a very advanced pediveliger stage before release. Brooding appears in this species to be an adaptation for producing and retaining offspring in the estuarine environment in which Chilean oyster populations occur. Whereas brooding female oysters undergo weight loss, deplete their biochemical reserves, and experience a negative scope for growth during the brooding period, their larvae are liberated at an advanced developmental stage, have a very short pelagic period, and settle immediately after release, implying that mortality is much less than in pelagic larvae

Implementacion de una prueba para observar el comportamiento de equipos electrónicos frente a los parámetros de calidad de energía: SAGS e interrupciones

En este documento se realizó un estudio de los fenómenos de calidad de energía clasificados como conducidos de baja frecuencia por el Comité Electrotécnico Internacional (IEC), se definieron y realzaron sus principales causas y efectos en los diferentes equipos eléctricos y electrónicos presentes en los sistemas de potencia. Posteriormente se identificaron las distintas normas IEC existentes para la ejecución de ensayos de inmunidad frente a hundimientos de tensión e interrupciones, analizando y seleccionando la norma IEC 61000-4-11 de 2004 como la alternativa de mayor aplicación y utilidad. Seguido a esto, se estudiaron las funciones generales del equipo BEST EMC, en particular aquellas relacionadas con ensayos en calidad de energía, buscando relacionar las especificaciones del equipo con lo indicado por la norma mencionada anteriormente. Finalmente se desarrolló un procedimiento para la ejecución de ensayos de inmunidad frente a hundimientos e interrupciones de tensión, basándose en la norma IEC 61000-4-11 de 2004 y usando las distintas funciones del equipo BEST EMC con sus accesorios y dispositivos adicionales para lograr los requerimientos indicados por la norma. Adicionalmente, se realizó un instructivo para el manejo del equipo BEST EMC y un procedimiento para la realización de los ensayos en un futuro próximo por parte del personal de los laboratorios del Grupo de Investigación en Alta Tensión (GRALTA) de la Universidad del Valle en Cali, Colombia.PregradoINGENIERO(A) ELECTRICIST

Acompañamiento técnico en el proceso de desarrollo urbano en Veolia Aguas de Tunja S.A.E.S.P.

Spa: Haciendo uso del conjunto de conocimientos adquiridos a lo largo del programa de ingeniería civil, y aplicando el marco normativo vigente a la fecha, (Decreto 302 del 2000, decreto 3050 de 2013, resolución 0330 de 2017, NTC-1500, Decreto 1076 de 2015, entre otros), se realizó el análisis técnico normativo, (disponibilidad de servicios y revisión de proyectos hidrosanitarios), de los proyectos aspirantes a conectarse en redes públicas de la ciudad de Tunja, así como la emisión de un concepto técnico sobre las áreas que se reconocen como zonas de difícil prestación de servicios públicos en la ciudad.Bibliografía y webgrafía: páginas 63-64.IngenieroIngeniero Civi

BOMs Away! Inside the Minds of Stakeholders: A Comprehensive Study of Bills of Materials for Software Systems

Software Bills of Materials (SBOMs) have emerged as tools to facilitate the management of software dependencies, vulnerabilities, licenses, and the supply chain. While significant effort has been devoted to increasing SBOM awareness and developing SBOM formats and tools, recent studies have shown that SBOMs are still an early technology not yet adequately adopted in practice. Expanding on previous research, this paper reports a comprehensive study that investigates the current challenges stakeholders encounter when creating and using SBOMs. The study surveyed 138 practitioners belonging to five stakeholder groups (practitioners familiar with SBOMs, members of critical open source projects, AI/ML, cyber-physical systems, and legal practitioners) using differentiated questionnaires, and interviewed 8 survey respondents to gather further insights about their experience. We identified 12 major challenges facing the creation and use of SBOMs, including those related to the SBOM content, deficiencies in SBOM tools, SBOM maintenance and verification, and domain-specific challenges. We propose and discuss 4 actionable solutions to the identified challenges and present the major avenues for future research and development.Comment: 11 pages, ICSE 202

Diseño de control de inventario de mercaderías y su incidencia en la rentabilidad de Ideas y Más Ideas S. A. C., Miraflores, 2020

Mediante la siguiente tesis titulada “Diseño de Control de Inventario de Mercaderías y su incidencia en la Rentabilidad de IDEAS Y MÁS IDEAS S.A.C.”, tiene como finalidad mostrar un diseño de control de inventario de mercaderías donde se pueda mejorar efectivamente la rentabilidad de la empresa. A través de un diseño especializado que permita prever la demanda de los productos y así poder conocer las necesidades que se requiera en el área, a su vez se pueda medir el stock real de la mercadería. En este proceso se evaluará si el diseño de control es funcional, si genera un resultado optimo y oportuno para dar a conocer cuáles son las situaciones por mejorar, en dicho proceso se implementará el Diseño de Control de Inventario que mejor se adecue a la empresa, para optimizar su Rentabilidad. En conclusión, la empresa deberá implementar el diseño de control de inventario para mejorar el seguimiento de sus mercaderías, con la finalidad de incrementar la ganancia

Establecimiento de la estructura del Sistema de Gestión de Calidad para el Centro Tecnológico de Automatización Industrial adscrito al Departamento de Procesos Productivos de la Pontificia Universidad Javeriana con base en la norma ISO 9001-2000

Ingeniero (a) IndustrialPregrad